/FONT#0=BASL30/FONT#1=BASI30/FONT#2=NGR40
␈↓␈↓↓␈↓α␈↓α␈↓ β
STANFORD ARTIFICIAL INTELLIGENCE LABORATORY
␈↓ ↓H
␈↓ ∧αDEPARTMENT OF COMPUTER SCIENCE
␈↓ ↓H
␈↓ ¬	STANFORD UNIVERSITY
␈↓ ↓H
␈↓ ∧;STANFORD, CALIFORNIA 94305
␈↓ ↓H
␈↓
␈↓ ↓H

␈↓ ↓H

␈↓ ↓H

␈↓ ↓H

␈↓ ↓H

␈↓ ↓H
␈↓ α_␈↓ αh␈↓ β8␈↓ ∧λ␈↓ ∧X␈↓ ¬(
␈↓ ↓H

␈↓ ↓H
␈↓ α_␈↓ αh␈↓ β8␈↓ ∧λ␈↓ ∧X␈↓ ¬(␈↓ ¬x14 October 1974
␈↓ ↓H
Professor Dana Scott
␈↓ ↓H
Mathematical Institute
␈↓ ↓H
24-29 St. Giles
␈↓ ↓H
Oxford OX1 3LB
␈↓ ↓H
England
␈↓ ↓H

␈↓ ↓H
Dear Dana:
␈↓ ↓H

␈↓ ↓H
␈↓ α_John␈αGill␈αgave␈αme␈αyour␈α␈↓↓Data␈αTypes␈αas␈αLattices␈↓␈αand␈αthank␈αyou␈αvery␈αmuch.␈α
I␈α
am␈α
still␈α
pursuing
␈↓ ↓H
␈↓ ↓Hmy␈αidea␈αof␈αtrying␈αto␈αget␈αa␈αsystem␈αthat␈αwill␈αallow␈αthe␈αcontinuous␈αfunctions␈αto␈αbe␈αaxiomatized␈αin␈αfirst
␈↓ ↓H
␈↓ ↓Horder␈αlogic␈αso␈αthat␈αwe␈αcan␈αcombine␈αreasoning␈αabout␈αother␈αentities␈αwith␈αreasoning␈αabout␈αcomputable
␈↓ ↓H
␈↓ ↓Hfunctions.␈α
To␈α
this␈α
end,␈α
about␈α
two␈α
years␈αago,␈αI␈αintroduced␈αthe␈αidea␈αof␈αextensional␈αforms:␈αan␈αe.f.␈αhas
␈↓ ↓H
␈↓ ↓Hfree␈αvariables␈αin␈αit,␈αbut␈αtwo␈αof␈αthem␈αare␈αequal␈αif␈αthey␈αgive␈αthe␈αsame␈αvalues␈αfor␈αall␈αvalues␈αof␈α
the␈α
free
␈↓ ↓H
␈↓ ↓Hvariables.␈αThe␈αλ␈αbecomes␈αjust␈αanother␈αfunction␈αthat␈αcombines␈αa␈αvariable␈αand␈αa␈αform␈αto␈αget␈αanother
␈↓ ↓H
␈↓ ↓Hform␈αhaving␈αone␈αless␈αvariable.␈α
The␈α
idea␈α
seems␈α
to␈α
work␈α
out,␈α
but␈α
I␈α
haven't␈α
pushed␈α
it␈α
quite␈α
far␈α
enough
␈↓ ↓H
␈↓ ↓Hto␈α
really␈α
see.
␈↓ ↓H

␈↓ ↓H
␈↓ α_Your␈α∞latest␈α∞seems␈α∞promising␈α∞from␈α∞my␈α∞point␈α∞of␈α∞view,␈α∞because␈α∞it␈α∞gets␈α
all␈α
entities␈α
down␈α
into␈α
a
␈↓ ↓H
␈↓ ↓Hfixed␈α∞domain,␈α∞e.g.␈α∞Pw,␈α∞and␈α∞this␈α∞should␈α∞make␈α∞set-theoretic␈α
axiomatization␈α
easier.␈α
It␈α
occurred␈α
to␈α
me
␈↓ ↓H
␈↓ ↓Hthat␈α∃for␈α∃practical␈α∃purposes␈α∃it␈α∃might␈α∃be␈α∀even␈α∀better␈α∀to␈α∀use␈α∀Ps,␈α∀where␈α∀s␈α∀is␈α∀the␈α∀set␈α∀of␈α∀LISP
␈↓ ↓H
␈↓ ↓HS-expressions.␈α
Then␈α
the␈α
pairing␈α
functions,␈α
etc.␈α
that␈α
you␈α
use␈α
will␈α
be␈α
␈↓↓conveniently␈↓␈α
computable.
␈↓ ↓H

␈↓ ↓H
␈↓ α_Enclosed␈α∞is␈α∞a␈α∞printout␈α∞of␈α∞a␈α∞set␈α∞of␈α∞axioms␈α∞for␈α∞extensional␈α
forms,␈α
but␈α
I␈α
am␈α
not␈α
sure␈α
they␈α
are
␈↓ ↓H
␈↓ ↓Hcomprehensible␈α
without␈α
more␈α
talk.
␈↓ ↓H

␈↓ ↓H
                                                ␈↓ ¬xBest Regards,
␈↓ ↓H

␈↓ ↓H

␈↓ ↓H
␈↓ α_ ␈↓ αh␈↓ β8␈↓ ∧λ␈↓ ∧X␈↓ ¬(        John McCarthy
␈↓ ↓H
␈↓ α_␈↓ αh␈↓ β8␈↓ ∧λ␈↓ ∧X␈↓ ¬(␈↓ ¬xDirector, Artificial Intelligence Laboratory
␈↓ ↓H
␈↓ α_␈↓ αh␈↓ β8␈↓ ∧λ␈↓ ∧X␈↓ ¬(␈↓ ¬xProfessor of Computer Science
␈↓ ↓H

␈↓ ↓H
JMC;paw
␈↓ ↓H
scott.le1[let,jmc]:SU-AI
␈↓ ↓H